Negative3.agda:3,1-4,27
Mu is not strictly positive, because it occurs
in an argument of a bound variable
in the type of the constructor inn
in the definition of Mu.
